Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
131	experienced in the software domain. For example, the notion of a variable in software often becomes a wire in hardware with very different semantics. Hardware, at least synchronous anyway, has the notion of a clock and o Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2006-08-22 04:59:46 Technical communication Hardware description languages Functional languages Atom Real-time computing Bluespec Formal methods SystemVerilog Type system Verilog Interface Refinement
132	A Hybrid Strategy for Regular Grammar Parsing Kiril Simov and Petya Osenova BulTreeBank Project http://www.BulTreeBank.org Linguistic Modelling Laboratory, Bulgarian Academy of Sciences Acad. G. Bonchev St. 25A, 1113 Sof Add to Reading List Source URL: bultreebank.org Language: English - Date: 2004-06-01 10:47:00 Formal languages Compiler construction Syntax Parsing Syntactic categories Dependency grammar Formal grammar Head-driven phrase structure grammar Phrase Clause Context-free grammar NooJ
133	Operating Area (OPAREA) Boundaries Environmental Common Operating Picture (COP) GIS metadata DownloadedFinalizedPrepared for: Naval Facilities Engineering Command (NAVFAC) Atlantic Add to Reading List Source URL: portal.midatlanticocean.org Language: English - Date: 2016-05-18 16:29:21 Formal languages Cross-platform software Character encoding String 0.999... Thong Go Pi
134	Reversal Distances for Strings with Few Blocks or Small Alphabets Laurent Bulteau1? , Guillaume Fertin2 , and Christian Komusiewicz2?? 1 Institut f¨ Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2014-07-31 03:41:40 Formal languages String Permutation Substring
135	Robotics: Science and Systems (RSS), 2013 Correct Software Synthesis for Stable Speed-Controlled Robotic Walking Neil Dantam∗ , Ayonga Hereid† , Aaron Ames† , and Mike Stilman∗ ∗ Add to Reading List Source URL: www.neil.dantam.name Language: English - Date: 2016-07-08 17:59:42 Formal languages Compiler construction LR parser LL parser Parsing Context-free grammar Robotics Recursive descent parser Formal grammar Humanoid robot Pushdown automaton LL grammar
136	From F? to SMT (Extended Abstract) Alejandro Aguirre1,2 1 Inria Paris Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2016-07-04 02:54:41 Theoretical computer science Formal methods Computability theory Functional languages Logic in computer science Satisfiability modulo theories Factorial ML Recursion Lambda calculus System F
137	Feature structures for parsing Ideas Feature structures Unification Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-04-04 20:58:02 Compiler construction Syntax Formal languages Grammar Natural language parsing Parsing Subcategorization Feature structure Chart parser Discontinuity Parsing expression grammar
138	Unsupervised Semantic Parsing Hoifung Poon Pedro Domingos Department of Computer Science and Engineering University of Washington Seattle, WA, U.S.A. Add to Reading List Source URL: twiki.di.uniroma1.it Language: English - Date: 2013-03-28 13:13:45 Computational linguistics Grammar Semantics Formal languages Natural language parsing Dependency grammar Parsing Argument Natural language processing Semantic role labeling Word-sense disambiguation Free variables and bound variables
139	MCS 441 – Theory of Computation I Spring 2016 Problem Set 2 Lev Reyzin Due: at the beginning of class Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-02-03 00:14:14 Finite automata Formal languages Regular language Generalized nondeterministic finite automaton Pumping lemma for context-free languages Nondeterministic finite automaton
140	TGCW45 Proposals for amendments to OUP transfer format Dominic Dunlop Draft of 22nd February, 1993 Add to Reading List Source URL: www.natcorp.ox.ac.uk Language: English - Date: 2013-10-04 12:32:29 HTML Formal languages Punctuation HTML element Oxford University Press Ellipsis Regular expression English Literature Admissions Test

UPDATE